RewritingIgnoreUnusedParameter.agda:11,1-20
rew  is not a legal rewrite rule, since the following variables are not bound by the left hand side:  A
when checking the pragma REWRITE rew
